abstraction machine

[计] 抽象(计算)机